Timing and deadlock-freeness in Continuous Petri nets
نویسندگان
چکیده
منابع مشابه
Timing and deadlock - freeness in Continuous Petri nets ?
Timing an unforced (discrete or continuous) net model preserves deadlock-freeness, but not the stronger liveness property, in general. The converse is not true, and if the autonomous net model has deadlocks, the timing may transform it into deadlock-free. Under infinite servers semantics, here we investigate the conditions on the firing rates of continuous timed models that makes deadlock-free ...
متن کاملTiming and liveness in continuous Petri nets
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreover, the class of continuous models thus obtained may be interesting in itself. In Petri nets, fluidification leads to the so called continuous Petri nets, that are technically hybrid models. Under infinite server semantics...
متن کاملDeadlock and Trap Analysis in Petri Nets
Petri net theory has been a successful tool for the study of systems because it allows their detailed and precise mathematical representation. Analysis of Petri nets can reveal important information about the structural and dynamic behavior of the modeled system, and this information can then be used for evaluation and to suggest improvements or changes. This paper presents a new algorithm for ...
متن کاملTiming-dependent boundedness and liveness in continuous Petri nets
The very classical structural boundedness and repetitiveness properties for discrete and untimed models are reconsidered for timed continuous Petri nets (TCPN), under infinite server semantics. The timing is here involved in the analysis, by taking advantage of its matricial characterization and properties analogous to conservativeness and consistency are defined. It is shown that such properti...
متن کاملDeadlock Control in Generalized Petri Nets
This chapter proposes a number of deadlock prevention polices for a class of generalized Petri nets, namely G-systems, which is usually considered to be the most generalized Petri nets that can model Flexible Manufacturing Systems (FMSs) with machining, assembly, and disassembly operations. First, a deadlock prevention policy based on elementary siphons theory is presented, which indicates that...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 2008
ISSN: 1474-6670
DOI: 10.3182/20080706-5-kr-1001.00541